#pragma once

#ifdef __KERNEL__
#ifndef __ASSEMBLY__

#include <asm/page.h>

struct mm_struct;

extern void cpu_do_switch_mm(unsigned long pgd_phys, struct mm_struct *mm);

#include <asm/memory.h>

#endif /* __ASSEMBLY__ */
#endif /* __KERNEL__ */
